3

Une Propriete du Calcul Propositionnel Intuitionnisteby J. Porte

Year:
1959
Language:
english
File:
PDF, 325 KB
english, 1959
4

A Note on Partial Postulate Sets for Propositional Logicby Stig Kanger

Year:
1957
Language:
english
File:
PDF, 314 KB
english, 1957
7

The Separation Theorem on the Classical Systemby Tsutomu Hosoi

Year:
1968
Language:
english
File:
PDF, 208 KB
english, 1968
8

On Strengthening Intuitionistic Logicby Richard E. Vesley

Year:
1969
Language:
english
File:
PDF, 211 KB
english, 1969
10

An Addendumby S. C. Kleene

Year:
1964
Language:
english
File:
PDF, 197 KB
english, 1964